Type systems - PDFSEARCH.IO - Document Search Engine

Type systems
Results: 2329

#	Item
721	Introduction of agenda item 4e Report on the review of existing databases and clearing-house type mechanisms for national adaptation planning Presentation by Fred Kossam Third meeting of the Adaptation Committee Add to Reading List Source URL: unfccc.int Language: English - Date: 2013-06-25 13:10:17 Usability Information systems Database management systems Database Database theory
722	CapIDL Language Specification† Version 0.1 Jonathan Shapiro, Ph.D. Mark Miller Systems Research Laboratory Dept. of Computer Science Add to Reading List Source URL: www.coyotos.org Language: English - Date: 2014-08-13 02:08:49 C++ C programming language Data types Type theory Enumerated type C++ classes Typedef C Struct Computer programming Computing Software engineering
723	RSBAC - a framework for enhanced Linux system security Marek Jawurek∗ RWTH-Aachen Abstract Operating systems traditionally bring their own means of protection against any kind of threats. But often the system’s secur Add to Reading List Source URL: www.rsbac.org Language: English - Date: 2006-05-02 09:37:02 Linux kernel RSBAC Linux Security Modules Access control Mandatory access control FLASK Type enforcement Grsecurity PaX Computer security System software Software
724	IFA011 QIEC Super Logo Type Only Add to Reading List Source URL: www.qiec.com.au Language: English - Date: 2015-03-23 23:49:05 Economics Banking Direct debit Economy of Germany Economy of the United Kingdom Accounting systems Debits and credits Cheque Payment Payment systems Business Finance
725	A Demonstration of SciDB: A Science-Oriented DBMS P. Cudre-Mauroux MIT M. Balazinska UWash Add to Reading List Source URL: users.eecs.northwestern.edu Language: English Software engineering Data types Query languages Array data type Array data structure Database PostgreSQL SQL Data model Computing Data management Database management systems
726	March 19, 2002 Slide Deck #2 Voiceband Data Media Format Rajesh Kumar, Cisco Systems Add to Reading List Source URL: www.dmn.tzi.org Language: English - Date: 2002-06-26 14:36:24 RTP audio video profile Computer file formats Internet media type MIME Rajesh Kumar Modem OSI protocols Computing Network architecture
727	Translucent Sums: A Foundation for Higher-Order Module Systems Mark Lillibridge May, 1997 CMU{CS{97{122 Add to Reading List Source URL: reports-archive.adm.cs.cmu.edu Language: English - Date: 1998-07-28 13:46:09 Type theory Computer programming Subtype polymorphism Type system Modula-3 Module D-module Kernel Abstraction Software engineering Computing Data types
728	Tolt Solutions Industry: IT Services Based In: South Carolina Type of Vehicles: Light-duty service vans Add to Reading List Source URL: assuredtelematics.co.uk Language: English - Date: 2015-02-05 11:41:46 Road transport Information technology management Telematics Satellite navigation systems Fleet management Global Positioning System Technology Transport GPS
729	WSEAS TRANSACTIONS on SYSTEMS Michail G. Papoutsidakis, Anthony G. Pipe A Type of Radial Basis Function Technique for Control and Time Series Prediction of Positioning Systems Add to Reading List Source URL: www.wseas.org Language: English - Date: 2014-02-13 07:14:14 Neuroscience Artificial neural network Radial basis function network Perceptron Artificial neuron Multilayer perceptron Connectionism Intelligent control Radial basis function Neural networks Cybernetics Science
730	Word Camp Europe (Reservation code:WCEU)– 27-30 September 2014 RESERVATION FORM SENSE Hotel Sofia Guest Name: ROOM TYPE Non-Smoking Add to Reading List Source URL: europe.wordcamp.org Language: English - Date: 2014-07-08 05:25:27 Credit card Value added tax Travel technology Travel Hotel reservation systems International law Reservation Treaties

UPDATE